大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 International Conference on Cosmic Rays 的图书(共10663本)

Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings

0
索取号:
作者:Beckert、 Bernhard.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Theorem Proving in Higher Order Logics [electronic resource] : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings

0
索取号:
作者:Hurd、 Joe.、Melham、 Tom.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

KI 2005: Advances in Artificial Intelligence [electronic resource] : 28th Annual German Conference on AI, KI 2005, Koblenz, Germany, September 11-14, 2005. Proceedings

0
索取号:
作者:Furbach、 Ulrich.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Text, Speech and Dialogue [electronic resource] : 8th International Conference, TSD 2005, Karlovy Vary, Czech Republic, September 12-15, 2005. Proceedings

0
索取号:
作者:Matou拧ek、 V谩clav.、Mautner、 Pavel.、Pavelka、 Tom谩拧.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Advances in Artificial Life [electronic resource] : 8th European Conference, ECAL 2005, Canterbury, UK, September 5-9, 2005. Proceedings

0
索取号:
作者:Capcarr猫re、 Mathieu S.、Freitas、 Alex A.、Bentley、 Peter J.、Johnson、 Colin G.、Timmis、 Jon.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Information Security Applications [electronic resource] : 5th International Workshop, WISA 2004, Jeju Island, Korea, August 23-25, 2004, Revised Selected Papers

0
索取号:
作者:Lim、 Chae Hoon.、Yung、 Moti.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Comparative Genomics [electronic resource] : RECOMB 2005 International Workshop, RCG 2005, Dublin, Ireland, September 18-20, 2005. Proceedings

0
索取号:
作者:McLysaght、 Aoife.、Huson、 Daniel H.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Languages and Compilers for High Performance Computing [electronic resource] : 17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers

0
索取号:
作者:Eigenmann、 Rudolf.、Li、 Zhiyuan.、Midkiff、 Samuel P.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Algorithms in Bioinformatics [electronic resource] : 5th International Workshop, WABI 2005, Mallorca, Spain, October 3-6, 2005. Proceedings

0
索取号:
作者:Casadio、 Rita.、Myers、 Gene.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Technologies for E-Services [electronic resource] : 5th International Workshop, TES 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers

0
索取号:
作者:Shan、 Ming-Chien.、Dayal、 Umeshwar.、Hsu、 Meichun.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

System Analysis and Modeling [electronic resource] : 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers

0
索取号:
作者:Amyot、 Daniel.、Williams、 Alan W.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Ubiquitous Computing Systems [electronic resource] : Second International Symposium, UCS 2004, Tokyo, Japan, November 8-9, 2004, Revised Selected Papers

0
索取号:
作者:Murakami、 Hitomi.、Nakashima、 Hideyuki.、Tokuda、 Hideyuki.、Yasumura、 Michiaki.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Web and Communication Technologies and Internet-Related Social Issues - HSI 2005 [electronic resource] : 3rd International Conference on Human.Society@Internet, Tokyo, Japan, July 27-29, 2005. Proceedings

0
索取号:
作者:Shimojo、 Shinji.、Ichii、 Shingo.、Ling、 Tok-Wang.、Song、 Kwan-Ho.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Computer Music Modeling and Retrieval [electronic resource] : Second International Symposium, CMMR 2004, Esbjerg, Denmark, May 26-29, 2004. Revised Papers

0
索取号:
作者:Wiil、 Uffe Kock.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Computing and Combinatorics [electronic resource] : 11th Annual International Conference, COCOON 2005, Kunming, China, August 16-29, 2005. Proceedings

0
索取号:
作者:Wang、 Lusheng.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Digital Watermarking [electronic resource] : Third International Workshop, IWDW 2004, Seoul, South Korea, October 30 - November 1, 2004, Revised Selected Papers

0
索取号:
作者:Cox、 Ingemar J.、Kalker、 Ton.、Lee、 Heung-Kyu.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
最近添加的分类